(declare-const a Real)
(declare-const b Bool)
(declare-const c Bool)
(declare-fun d () (Set Int))
(declare-fun e () (Set Real))
(declare-fun f () (Set Real))
(assert (member a f))
(assert (= b (= d e)))
(assert (= c (= d f)))
(assert (and (= c true)))
(check-sat)
